14.88/19.97	unsat
