14.18/24.78	unsat
