5.18/7.57	unsat
