18.88/21.96	unsat
