18.23/18.47	unsat
