24.06/27.30	unsat
