5.23/6.32	unsat
