3.24/4.68	unsat
