18.37/20.08	unsat
