18.36/18.54	unsat
