18.49/20.90	unsat
