24.06/26.32	unsat
