14.96/19.95	unsat
