18.34/18.84	unsat
