14.96/17.95	unsat
