18.74/18.81	unsat
