5.69/6.51	unsat
