4.18/4.71	unsat
