5.46/10.68	unsat
