14.96/17.55	unsat
