18.24/18.72	unsat
