5.32/5.71	unsat
