14.96/19.26	unsat
