4.47/5.66	unsat
