15.76/19.02	unsat
