15.76/18.63	unsat
