4.03/4.66	unsat
