15.80/18.92	unsat
