13.67/17.63	unsat
