18.56/20.96	unsat
