24.25/27.07	unsat
