5.87/7.32	unsat
