14.96/17.13	unsat
