5.24/6.32	unsat
