24.07/28.24	unsat
