18.49/20.97	unsat
