13.80/16.63	unsat
