18.16/18.81	unsat
