5.01/6.77	unsat
