5.60/7.28	unsat
