5.68/5.72	unsat
