22.26/22.94	unsat
