14.68/17.82	unsat
