6.01/7.51	unsat
