18.34/18.72	unsat
