2.69/3.51	unsat
