18.70/18.76	unsat
