20.98/26.96	unsat
