2.69/7.57	unsat
