5.69/6.73	unsat
