14.87/19.55	unsat
