5.49/5.71	unsat
