5.69/5.72	unsat
