10.47/15.18	unsat
