5.17/6.32	unsat
