18.24/18.34	unsat
