0.30/0.51	unsat
