18.43/18.54	unsat
