18.36/20.79	unsat
