5.73/6.06	unsat
