3.47/5.51	unsat
