18.77/20.96	unsat
