15.76/18.86	unsat
