5.22/6.34	unsat
