18.07/18.86	unsat
