3.11/4.71	unsat
